1. $i$ : $\mathbb{Z}$ \\[0ex]2. $j$ : $\mathbb{Z}$ \\[0ex]$\vdash$ ($\neg_{b}\neg_{b}$$j$ $<$z $i$) = $j$ $<$z $i$